The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Claude Kirchner Books

Results for Claude Kirchner

Showing 1 to 3 of 3 results
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology) Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology) by

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology)

by


ISBN 13: 9783642020018

Format: Paperback (199 pages)
Publisher: Springer
Published: 25 May 2009

Save for later

 
New : $59.52  
New : $59.52
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) by

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by


ISBN 13: 9783540731467

Format: Paperback (273 pages)
Publisher: Springer
Published: 22 Jun 2007

Save for later

 
New : $59.56  
New : $59.56
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings: 1421 (Lecture Notes in Computer Science) Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings: 1421 (Lecture Notes in Computer Science) by Helene Kirchner,Claude Kirchner

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings: 1421 (Lecture Notes in Computer Science)

by Helene Kirchner,Claude Kirchner


ISBN 13: 9783540646754

Format: Paperback (464 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $60.56  
New : $60.56